大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Theory and Applications of Models of Computation [electronic resource] : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

0
索取号:
作者:Cai、 Jin-Yi.、Cooper、 S. Barry.、Zhu、 Hong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings

0
索取号:
作者:Hentenryck、 Pascal.、Wolsey、 Laurence.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Neural Networks-ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III

0
索取号:
作者:Liu、 Derong.、Fei、 Shumin.、Hou、 Zengguang.、Zhang、 Huaguang.、Sun、 Changyin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Neural Networks-ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II

0
索取号:
作者:Liu、 Derong.、Fei、 Shumin.、Hou、 Zengguang.、Zhang、 Huaguang.、Sun、 Changyin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Neural Networks-ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I

0
索取号:
作者:Liu、 Derong.、Fei、 Shumin.、Hou、 Zeng-Guang.、Zhang、 Huaguang.、Sun、 Changyin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

0
索取号:
作者:Baral、 Chitta.、Brewka、 Gerhard.、Schlipf、 John.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Bioinformatics Research and Applications [electronic resource] : Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007. Proceedings

0
索取号:
作者:M膬ndoiu、 Ion.、Zelikovsky、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Programming Multi-Agent Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

0
索取号:
作者:Bordini、 Rafael H.、Dastani、 Mehdi.、Dix、 J眉rgen.、Seghrouchni、 Amal El Fallah.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fundamentals of Many-body Physics [electronic resource] : Principles and Methods

0
索取号:
作者:Nolting、 Wolfgang.、Brewer、 William D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Cooperative Bug Isolation [electronic resource] : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

0
索取号:
作者:Liblit、 Ben.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Genetic Programming [electronic resource] : 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings

0
索取号:
作者:Ebner、 Marc.、O鈥橬eill、 Michael.、Ek谩rt、 Anik贸.、Vanneschi、 Leonardo.、Esparcia-Alc谩zar、 Anna Isabel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Adaptive Multimedia Retrieval: User, Context, and Feedback [electronic resource] : 4th International Workshop, AMR 2006, Geneva, Switzerland, July 27-28, 2006, Revised Selected Papers

0
索取号:
作者:Marchand-Maillet、 St茅phane.、Bruno、 Eric.、N眉rnberger、 Andreas.、Detyniecki、 Marcin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

0
索取号:
作者:Puebla、 Germ谩n.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Information Technologies in Environmental Engineering [electronic resource] : ITEE 2007 - Third International ICSC Symposium

0
索取号:
作者:G贸mez、 Jorge Marx.、Sonnenschein、 Michael.、M眉ller、 Martin.、Welsch、 Heinz.、Rautenstrauch、 Claus.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Programming Languages and Systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号:
作者:Nicola、 Rocco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

NASSAU 2006 [electronic resource] : Proceedings of the 4th Nassau M枚ssbauer Symposium held in Garden City, New York, USA, 13鈥ᴠJanuary 2006

0
索取号:
作者:Alp、 E. E.、Wynter、 C. I.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类